CTL Machine